fix boot manu BIOS option